DICLIB.COM
Ferramentas linguísticas em IA

Todas as ferramentas Assinatura Fale conosco

Digite uma palavra ou frase em qualquer idioma 👆

Idioma:

Tradução e análise de palavras por inteligência artificial

Nesta página você pode obter uma análise detalhada de uma palavra ou frase, produzida usando a melhor tecnologia de inteligência artificial até o momento:

como a palavra é usada
frequência de uso
é usado com mais frequência na fala oral ou escrita
opções de tradução de palavras
exemplos de uso (várias frases com tradução)
etimologia

unbounded quantifier - tradução para russo

Lindstrom quantifier; Lindstroem quantifier

unbounded quantifier

математика

неограниченный квантор

unbounded operator

LINEAR OPERATOR DEFINED ON A DENSE LINEAR SUBSPACE

Closed operator; Closeable operator; Closable operator; Closed unbounded operator; Closure of an operator; Unbounded linear operator

математика

неограниченный оператор

logical quantifier

$Syntax tree of the formula <math> \forall x (\exists y B(x,y)) \vee C(y,x) </math>, illustrating scope and variable capture. Bound and free variable occurrences are colored in red and green, respectively.$

LOGICAL OPERATOR SPECIFYING HOW MANY ENTITIES IN THE DOMAIN OF DISCOURSE THAT SATISFY AN OPEN FORMULA

Logical quantifier; Quantificational fallacy; Solution quantifier; Quantification (logic); Quantifiers (logic); Set quantifier; Range of quantification

математика

логический квантор

Definição

quantifier

(quantifiers)

In grammar, a quantifier is a word or phrase such as 'plenty' or 'a lot' which you use to refer to a quantity of something without being precise. It is often followed by 'of', as in 'a lot of money'.

N-COUNT

Mostrar mais definições

Wikipédia

Lindström quantifier

In mathematical logic, a Lindström quantifier is a generalized polyadic quantifier. Lindström quantifiers generalize first-order quantifiers, such as the existential quantifier, the universal quantifier, and the counting quantifiers. They were introduced by Per Lindström in 1966. They were later studied for their applications in logic in computer science and database query languages.

https://en.wikipedia.org/wiki/Lindström quantifier

Como se diz unbounded quantifier em Russo? Tradução de &#39unbounded quantifier&#39 em Russo